($(DOC)): Use -o and -a options to make-docfile,

because GNU make doesn't append when using >> redirection.

diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in
index f6b79b5ddd2a8bb6004099919f31931ffdd43714..e92a00866ad506351b656eb131e73bc35eaa4a3e 100644 (file)
--- a/lib-src/makefile.w32-in
+++ b/lib-src/makefile.w32-in
@@ -225,8 +225,8 @@ lisp= \
 DOC          = DOC
 $(DOC):                make-docfile
                - $(DEL) $(DOC)
-               "$(THISDIR)/$(BLD)/make-docfile" -d ../src $(obj) > $(DOC)
-               "$(THISDIR)/$(BLD)/make-docfile" -d ../src $(lisp) >> $(DOC)
+               "$(THISDIR)/$(BLD)/make-docfile" -o $(DOC) -d ../src $(obj)
+               "$(THISDIR)/$(BLD)/make-docfile" -a $(DOC) -d ../src $(lisp)
                $(CP) $(DOC) ../etc/DOC-X
                - mkdir "../src/$(OBJDIR)"
                - mkdir "../src/$(OBJDIR)/etc"